Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings
- Författare
- (Edited by Marsha Chechik, Jean-François Raskin.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer Berlin Heidelberg, Imprint: Springer | 2016 | Tyskland, Berlin, Heidelberg | XIX, 961 sidor. 220 illus. online resource. | 978-3-662-49674-9 |